1. American women of science since 1900 /
پدیدآورنده : Tiffany K. Wayne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Women in science-- United States-- History-- 20th century, Dictionaries.,Women in science-- United States, Biography, Dictionaries.,Women scientists-- United States-- History-- 20th century, Dictionaries.,Women scientists-- United States, Biography, Dictionaries.,20th century.,Biography.,Dictionaries.,History.,Science.,United States.,Women in science.,Women scientists.
رده :
Q141
.
W42
2011eb
2. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3. Theory of program structures : schemes, semantics, Verification
پدیدآورنده : Greibach, Sheila A., 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Recursive programming,، Computer programs
رده :
QA
76
.
L28
Vol
.
36
4. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
5. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975